- 双语例句 更多例句
1、
巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。
互联网摘选
2、
This is also shown by the vagueness of KaKbp → Kap in possible world semantics.
可传递性公式KaKbp→Kap在可能世界语义学上的模糊性，也表明了这一点。
互联网摘选
3、
因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。
互联网摘选
4、
然而，尽管可能世界语义学能让我们更直观地理解模态逻辑表达式，但是依然衍生出许多问题。
互联网摘选
5、
Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics
情境语义学对外延模型论和可能世界语义学的批判
互联网摘选
6、
研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。
互联网摘选
7、
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
互联网摘选
- 相关词组
- for all the worldadv.无论如何;
- bbc world news英国广播公司世界新闻;英国广播公司世界新闻频道；世界新闻电视频道；环宇新闻
- Disney worldn.迪斯尼世界;
- inner world精神世界;
- business world工商界;
- move up in the world在世界发展
- a man of the worldn.通世故的人;
- dead to the world沉睡的，不省人事的;对世事不闻不问;
- around the world世界各地；全世界;
- World Consumer Right Dayn.世界消费者权益日，每年的3月15日;
- come down in the worldv.落魄;沦落;
- all over the worldadv.全世界;举世;五洲四海;普天之下;
- man of the worldn.饱经世故者，爱享乐者;
- die to the world隐居，不问人间事;
- first world warn.第一次世界大战;
- become famous all over the world在世界各地成名
- modern world现代世界
- map of the world世界地图;
- not for world不适合世界范围
- Brave New World美好的新世界（指社会大变动后出现的使人满怀希望的新时期，常含有讽刺意味）;
- 今日热词
- 热门搜索
- riven adj.四分五裂的，撕裂的，分裂的，硬给分开的;v.裂开;分裂;撕开;拧去（from; away; off）;使烦恼
- ourplay 话剧;OurPlay是一款专为手游玩家设计的加速和模拟软件
- people n.人，人类;居民;人民;种族;vt.居住于，布满;使住满人，在…殖民;把动物放养在;
- neighbor n.<美>邻居，邻国;adj.邻近的，邻接的;
- significant adj.重要的, 有重大意义的;显著的, 值得注意的;<统>显著的, 有效的;（词缀等）有意义的;不可忽略的, 值得注意的;相当数量的;别有含义的, 意味深长的;（语言上）区别性的n.<古>有意义的事物;标志, 象征
- west adj.西部的;西风的;adv.向西;…以西;
- rewrite v.重写，改写;n.改写;
- plog n.帕洛格（姓氏）;图片博客（photo blog）
- love the way you lie 爱你说谎的方式;喜欢你的谎言
- skillfully adv.巧妙地，精巧地;
- unless conj. 除非;如果不;除非在…的时候;
- tanker n.油罐车;油轮;一辆坦克乘员中的一名;
